Merge branch 'ebassi/annotations' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 31 May 2020 15:18:36 +0000 (15:18 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 31 May 2020 15:18:36 +0000 (15:18 +0000)
Ebassi/annotations

See merge request GNOME/gtk!1996


Trivial merge